65 ideas
13070 | If definitions must be general, and general terms can't individuate, then Socrates can't be defined [Aquinas, by Cover/O'Leary-Hawthorne] |
11197 | The definitions expressing identity are used to sort things [Aquinas] |
9847 | A contextual definition permits the elimination of the expression by a substitution [Dummett] |
9820 | In classical logic, logical truths are valid formulas; in higher-order logics they are purely logical [Dummett] |
9912 | There are no such things as numbers [Benacerraf] |
9901 | Numbers can't be sets if there is no agreement on which sets they are [Benacerraf] |
9896 | A prime number is one which is measured by a unit alone [Dummett] |
18255 | Addition of quantities is prior to ordering, as shown in cyclic domains like angles [Dummett] |
9151 | Benacerraf says numbers are defined by their natural ordering [Benacerraf, by Fine,K] |
13891 | To understand finite cardinals, it is necessary and sufficient to understand progressions [Benacerraf, by Wright,C] |
17904 | A set has k members if it one-one corresponds with the numbers less than or equal to k [Benacerraf] |
17906 | To explain numbers you must also explain cardinality, the counting of things [Benacerraf] |
9895 | A number is a multitude composed of units [Dummett] |
9898 | We can count intransitively (reciting numbers) without understanding transitive counting of items [Benacerraf] |
17903 | Someone can recite numbers but not know how to count things; but not vice versa [Benacerraf] |
9852 | We understand 'there are as many nuts as apples' as easily by pairing them as by counting them [Dummett] |
9897 | The application of a system of numbers is counting and measurement [Benacerraf] |
9899 | The successor of x is either x and all its members, or just the unit set of x [Benacerraf] |
9900 | For Zermelo 3 belongs to 17, but for Von Neumann it does not [Benacerraf] |
8697 | Disputes about mathematical objects seem irrelevant, and mathematicians cannot resolve them [Benacerraf, by Friend] |
8304 | No particular pair of sets can tell us what 'two' is, just by one-to-one correlation [Benacerraf, by Lowe] |
9906 | If ordinal numbers are 'reducible to' some set-theory, then which is which? [Benacerraf] |
9908 | The job is done by the whole system of numbers, so numbers are not objects [Benacerraf] |
9907 | If any recursive sequence will explain ordinals, then it seems to be the structure which matters [Benacerraf] |
9909 | The number 3 defines the role of being third in a progression [Benacerraf] |
9911 | Number words no more have referents than do the parts of a ruler [Benacerraf] |
8925 | Mathematical objects only have properties relating them to other 'elements' of the same structure [Benacerraf] |
9938 | How can numbers be objects if order is their only property? [Benacerraf, by Putnam] |
9829 | The identity of a number may be fixed by something outside structure - by counting [Dummett] |
9828 | Numbers aren't fixed by position in a structure; it won't tell you whether to start with 0 or 1 [Dummett] |
9910 | Number-as-objects works wholesale, but fails utterly object by object [Benacerraf] |
9903 | Number words are not predicates, as they function very differently from adjectives [Benacerraf] |
9876 | Set theory isn't part of logic, and why reduce to something more complex? [Dummett] |
9904 | The set-theory paradoxes mean that 17 can't be the class of all classes with 17 members [Benacerraf] |
11195 | If affirmative propositions express being, we affirm about what is absent [Aquinas] |
9884 | The distinction of concrete/abstract, or actual/non-actual, is a scale, not a dichotomy [Dummett] |
9869 | Realism is just the application of two-valued semantics to sentences [Dummett] |
11201 | Properties have an incomplete essence, with definitions referring to their subject [Aquinas] |
11205 | If the form of 'human' contains 'many', Socrates isn't human; if it contains 'one', Socrates is Plato [Aquinas] |
9880 | Nominalism assumes unmediated mental contact with objects [Dummett] |
9885 | The existence of abstract objects is a pseudo-problem [Dummett] |
9858 | Abstract objects nowadays are those which are objective but not actual [Dummett] |
9859 | It is absurd to deny the Equator, on the grounds that it lacks causal powers [Dummett] |
9860 | 'We've crossed the Equator' has truth-conditions, so accept the Equator - and it's an object [Dummett] |
9872 | Abstract objects need the context principle, since they can't be encountered directly [Dummett] |
13090 | The principle of diversity for corporeal substances is their matter [Aquinas, by Cover/O'Leary-Hawthorne] |
11202 | It is by having essence that things exist [Aquinas] |
11203 | Specific individual essence is defined by material, and generic essence is defined by form [Aquinas] |
11200 | The definition of a physical object must include the material as well as the form [Aquinas] |
11196 | Essence is something in common between the natures which sort things into categories [Aquinas] |
11208 | A simple substance is its own essence [Aquinas] |
9848 | Content is replaceable if identical, so replaceability can't define identity [Dummett, by Dummett] |
9842 | Frege introduced criteria for identity, but thought defining identity was circular [Dummett] |
9905 | Identity statements make sense only if there are possible individuating conditions [Benacerraf] |
11198 | Definition of essence makes things understandable [Aquinas] |
9849 | Maybe a concept is 'prior' to another if it can be defined without the second concept [Dummett] |
9850 | An argument for conceptual priority is greater simplicity in explanation [Dummett] |
9873 | Abstract terms are acceptable as long as we know how they function linguistically [Dummett] |
9993 | There is no reason why abstraction by equivalence classes should be called 'logical' [Dummett, by Tait] |
9857 | We arrive at the concept 'suicide' by comparing 'Cato killed Cato' with 'Brutus killed Brutus' [Dummett] |
9833 | To abstract from spoons (to get the same number as the forks), the spoons must be indistinguishable too [Dummett] |
11206 | The mind constructs complete attributions, based on the unified elements of the real world [Aquinas] |
9836 | Fregean semantics assumes a domain articulated into individual objects [Dummett] |
11207 | A cause can exist without its effect, but the effect cannot exist without its cause [Aquinas] |
18257 | Why should the limit of measurement be points, not intervals? [Dummett] |